/*
 * intc.h
 *
 *  Created on: Apr 8, 2013
 *      Author: Vincent
 */

#ifndef INTC_H_
#define INTC_H_

typedef void (*isr_funct)();
void int_config(int p_src, int p_level, int p_priority, isr_funct p_isr);
void int_unmask_src(int p_src);


#endif /* INTC_H_ */
